36

A new approach to program verification

Year:
1984
Language:
english
File:
PDF, 800 KB
english, 1984
39

Fast Parallel Algorithm for Prefix Computation in Multi-Mesh Architecture

Year:
2017
Language:
english
File:
PDF, 1.91 MB
english, 2017
43

On the distribution of runs of ones in binary strings

Year:
2009
Language:
english
File:
PDF, 834 KB
english, 2009